Johan Van Benthem (auth.): որոնել Z-Library կայքում

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Don't use scam websites

Գրքեր (18)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Games, Norms and Reasons: Logic at the Crossroads

Games, Norms and Reasons: Logic at the Crossroads

Springer Netherlands

Horacio Arló Costa, Arthur Paul Pedersen (auth.), Johan van Benthem, Amitabha Gupta, Eric Pacuit (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 4.49 MB

0 / 0

english, 2011

2

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 5.03 MB

0 / 0

english, 2000

3

Essays in Logical Semantics

Essays in Logical Semantics

Springer Netherlands

Johan Van Benthem (auth.)

Տարի:

1986

Լեզու:

english

Ֆայլ:

PDF, 3.59 MB

0 / 0

english, 1986

4

Advances in Intensional Logic

Advances in Intensional Logic

Springer Netherlands

Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)

Տարի:

1997

Լեզու:

english

Ֆայլ:

PDF, 7.72 MB

5.0 / 0

english, 1997

5

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

Springer Netherlands

John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 8.67 MB

0 / 0

english, 2011

6

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.)

Տարի:

1997

Լեզու:

english

Ֆայլ:

PDF, 12.40 MB

0 / 0

english, 1997

7

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

E. G. Beltrametti (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem (eds.)

Տարի:

1997

Լեզու:

english

Ֆայլ:

PDF, 12.57 MB

0 / 0

english, 1997

8

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Springer Netherlands

Johan van Benthem (auth.), Maarten de Rijke (eds.)

Տարի:

1993

Լեզու:

english

Ֆայլ:

PDF, 7.81 MB

0 / 0

english, 1993

9

Quantifiers: Logics, Models and Computation: Volume Two: Contributions

Quantifiers: Logics, Models and Computation: Volume Two: Contributions

Springer Netherlands

Johan van Benthem (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

PDF, 7.37 MB

0 / 0

english, 1995

10

Resource-Sensitivity, Binding and Anaphora

Resource-Sensitivity, Binding and Anaphora

Springer Netherlands

Johan van Benthem (auth.), Geert-Jan M. Kruijff, Richard T. Oehrle (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 10.13 MB

0 / 0

english, 2003

11

Situations, Language and Logic

Situations, Language and Logic

Springer Netherlands

Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem (auth.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

PDF, 10.72 MB

0 / 0

english, 1987

12

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

DJVU, 6.51 MB

0 / 0

english, 1989

13

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 4.88 MB

0 / 0

english, 2011

14

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 3.11 MB

0 / 0

english, 2009

15

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

PDF, 14.20 MB

0 / 0

english, 1989

16

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 5.41 MB

0 / 0

english, 2011

17

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 4.26 MB

0 / 0

english, 2009

18

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 7.86 MB

0 / 0

english, 2000